Automatic Web Form Construction via Compilation of Paraconsistent Entailment to Relational Databases

This paper presents the core algorithm for a tool implementing a declarative approach to web form development. Instead of writing Javascript to implement error detection and implied value computation, web developers write an ontology in classical logic that describes the relationships between web form fields, and the Javascript is generated automatically. To meet performance demands, the compilation of classical logic into Javascript uses relational databases as an intermediary; and, to address the well-known explosiveness problem of logical implication in the presence of contradictions (web form errors), our algorithm employs a paraconsistent form of logical